3

Some diophantine forms of gödel's theorem

Year:
1980
Language:
english
File:
PDF, 575 KB
english, 1980
5

Variants of Robinson's essentially undecidable theoryR

Year:
1983
Language:
english
File:
PDF, 186 KB
english, 1983